The Space of Measurement Outcomes as a Spectral Invariant for Non-Commutative Algebras
نویسنده
چکیده
The recently developed technique of Bohrification associates to a (unital) C*-algebra A 1. the Kripke model, a presheaf topos, of its classical contexts; 2. in this Kripke model a commutative C*-algebra, called the Bohrification of A; 3. the spectrum of the Bohrification as a locale internal in the Kripke model. We propose this locale, the ‘state space’, as a (n intuitionistic) logic of the physical system whose observable algebra is A. We compute a site which externally captures this locale and find that externally its points may be identified with partial measurement outcomes. This prompts us to compare Scott-continuity on the poset of contexts and continuity with respect to the C*-algebra as two ways to mathematically identify measurement outcomes with the same physical interpretation. Finally, we consider the not-not-sheafification of the Kripke model on classical contexts and obtain a space of measurement outcomes which for commutative C*-algebras coincides with the spectrum. The construction is functorial on the category of C*-algebras with commutativity reflecting maps.
منابع مشابه
The space of measurement outcomes as a spectrum for non-commutative algebras
Bohrification defines a locale o f hidden variables internal in a topos. We find that externally this is the space o f partial measurement outcomes. By considering the ——sheafification, we obtain the space o f measurement outcomes which coincides with the spectrum for commutative C*-algebras.
متن کاملPOINT DERIVATIONS ON BANACH ALGEBRAS OF α-LIPSCHITZ VECTOR-VALUED OPERATORS
The Lipschitz function algebras were first defined in the 1960s by some mathematicians, including Schubert. Initially, the Lipschitz real-value and complex-value functions are defined and quantitative properties of these algebras are investigated. Over time these algebras have been studied and generalized by many mathematicians such as Cao, Zhang, Xu, Weaver, and others. Let be a non-emp...
متن کاملNon-commutative Bloch Theory
For differential operators which are invariant under the action of an abelian group Bloch theory is the preferred tool to analyze spectral properties. By shedding some new non-commutative light on this we motivate the introduction of a non-commutative Bloch theory for elliptic operators on Hilbert C-modules. It relates properties of C-algebras to spectral properties of module operators such as ...
متن کاملOn Heyting algebras and dual BCK-algebras
A Heyting algebra is a distributive lattice with implication and a dual $BCK$-algebra is an algebraic system having as models logical systems equipped with implication. The aim of this paper is to investigate the relation of Heyting algebras between dual $BCK$-algebras. We define notions of $i$-invariant and $m$-invariant on dual $BCK$-semilattices and prove that a Heyting semilattice is equiva...
متن کاملar X iv : m at h - ph / 9 90 10 11 v 2 2 9 Ju n 19 99 NON - COMMUTATIVE BLOCH THEORY : AN OVERVIEW
For differential operators which are invariant under the action of an abelian group Bloch theory is the tool of choice to analyze spectral properties. By shedding some new non-commutative light on this we motivate the introduction of a noncommutative Bloch theory for elliptic operators on Hilbert C-modules. It relates properties of C-algebras to spectral properties of module operators such as b...
متن کامل